Measure theory

Results: 1372



#Item
421Entailment / Logical consequence / Metalogic / Curry–Howard correspondence / Advanced Encryption Standard / Orbifold / Measure of non-compactness / Logic / Deduction / Proof theory

Proving the Security of AES Substitution-Permutation Network Thomas Baign`eres? and Serge Vaudenay EPFL http://lasecwww.epfl.ch

Add to Reading List

Source URL: www.baigneres.net

Language: English - Date: 2013-07-24 10:25:38
422Selection / Population genetics / Information theory / Philosophy of biology / Cultural anthropology / Fitness / Kin selection / Natural selection / Evolution / Evolutionary biology / Science / Biology

Downloaded from http://rsfs.royalsocietypublishing.org/ on April 12, 2015 Biological information: why we need a good measure and the challenges ahead Minus van Baalen

Add to Reading List

Source URL: rsfs.royalsocietypublishing.org

Language: English - Date: 2015-04-18 13:04:33
423Hashing / Information science / Jaccard index / Measure theory / MinHash / Bloom filter / Hash function / Hash table / Hamming distance / Search algorithms / Geometry / Logic

Efficient Estimation for High Similarities using Odd Sketches Michael Mitzenmacher Rasmus Pagh

Add to Reading List

Source URL: www.itu.dk

Language: English - Date: 2014-01-30 03:01:41
424Knowledge / Science / Macroeconomics / Economic geography / Knowledge spillover / Rivalry / Endogenous growth theory / Productivity / Innovation / Economics / Economic theories / Economic growth

The Empirical Performance of a New Interindustry Technology Spillover Measure Working Paper, October 1997 Bart Los* University of Twente, Faculty of Public Administration and Public Policy, P.O. Box

Add to Reading List

Source URL: www.iioa.org

Language: English - Date: 2007-10-09 05:35:53
425Lorenz attractor / Model theory / Dynamical system / Invariant measure / Holomorphic functional calculus / Orbifold / Mathematical analysis / Mathematics / Structure

On the Recurrence and Robust Properties of Lorenz’63 Model M. Gianfelice, F. Maimone, V. Pelino & S. Vaienti

Add to Reading List

Source URL: clima.meteoam.it

Language: English - Date: 2012-04-27 04:31:33
426Borel set / Borel equivalence relation / Borel measure / Support / Cayley graph / Invariant measure / Schröder–Bernstein theorem for measurable spaces / System of imprimitivity / Mathematical analysis / Mathematics / Descriptive set theory

PDF Document

Add to Reading List

Source URL: www.math.rutgers.edu

Language: English - Date: 2013-12-08 12:57:35
427Numerical analysis / Propagation of uncertainty / Normal distribution / Measure theory / Least squares / Regression analysis / Sigma-ideal / Statistics / Mathematical analysis / Algebra of random variables

A Little Error Propagation: finding the error in 〈x〉 James R. Graham[removed] The Centroid

Add to Reading List

Source URL: ugastro.berkeley.edu

Language: English - Date: 2009-08-14 17:18:15
428Lower Paleolithic / Pleistocene / Axes / Hand axe / Paleolithic / Acheulean / Harold L. Dibble / Oldowan / A New Philosophy of Society: Assemblage Theory and Social Complexity / Lithics / Stone Age / Archaeology

Journal of Archaeological Science[removed], 655–663 doi:[removed]jasc[removed], available online at http://www.idealibrary.com on Handaxes as a Measure of the Mental Capabilities of Early Hominids Shannon Patrick McPh

Add to Reading List

Source URL: www.eva.mpg.de

Language: English - Date: 2015-03-18 03:47:36
429Normal distribution / Propagation of uncertainty / Noise / Variance / Standard deviation / Statistics / Data analysis / Probability theory

A CCD Noise Model James. R. Graham, UC Berkeley[removed]Signal The CCD in the spectrometer employs the photovoltaic effect to measure the intensity of light, Iv,

Add to Reading List

Source URL: ugastro.berkeley.edu

Language: English - Date: 2009-09-29 15:09:11
430Data types / Type theory / C++ / Enumerated type / Enumeration / Constructor / C++ classes / Constant / EXPRESS / Computing / Software engineering / Computer programming

Introduction The simple go-to mechanism can simulate all control structures. However, a program (as an encoding of a solution) written in terms of control structures is more maintainable. The measure of expressiveness of

Add to Reading List

Source URL: www.zhmicro.com

Language: English - Date: 2015-01-01 22:54:35
UPDATE